historical development of triadic propositions

khunaji and his companions get influence from fakhr al-din razi and classified quantified propositions into two kinds: factual and external. abhari added the third kind which was named mental. tusi and his companions refuted khunaji’s viewpoint. analysis and explanation of the historical development of classification of predicative proposition into factual, external and mental is the problem of this research. in the shade of analysis and historical explanation of this classification would be clear that this problem has two classifications under one name: bipartite and triadic. the present article is an attempt to study the contribution of two-fold logicians of the 7th century to the development of logic.